@sugarfree Well, I wasn't quite sure what I did was right and I don't know the terminology too well, but I cloned the Raspberry Pi kernel, modified only the lines of code mentioned in the workaround (the file being vc4_v3d.c), then compiled and installed the kernel. It might have been just dumb luck that this worked, and my problem may have been something else entirely.